Extended Model Driven Architecture to B Method
نویسندگان
چکیده
Model Driven Architecture (MDA) design approach proposes to separate design into two stages: implementation independent stage then an implementation-dependent one. This improves the reusability, the reusability, the standability, the maintainability, etc. Here we show how MDA can be augmented using a formal refinement approach: B method. Doing so enables to gradually refine the development from the abstract specification to the executing implementation; furthermore it permits to prove the coherence between components in low levels even if they are implemented in different technologies.
منابع مشابه
Natural Ventilation: Analysis of Indoor Airflow in an Assumed Cubic Building with Opposite Openings by CFD Investigations
The natural ventilation is an easy way to exchange the indoor polluted warm air with outdoor fresh air. The wind power injects outdoor fresh air into the building. A good indoor air current and subsequently a proper exhaust depend on the openings’ conditions and their situations. A serious architectural question is under what conditions of the openings the wind-cross ventilation can be effectiv...
متن کاملThe effects of cut-off walls on repulsing saltwater based on modeling of density-driven groundwater flow and salt transport
Abstract: A two-dimensional fully implicit finite difference model, which can be easily extended to three dimensions, is developed to study the effect of cut-off walls on saltwater intrusion into the aquifers. This model consists of a coupled system of two nonlinear partial differential equations which describe unsteady density-driven groundwater flow and solute transport. The numerica...
متن کاملA Data-driven Method for Crowd Simulation using a Holonification Model
In this paper, we present a data-driven method for crowd simulation with holonification model. With this extra module, the accuracy of simulation will increase and it generates more realistic behaviors of agents. First, we show how to use the concept of holon in crowd simulation and how effective it is. For this reason, we use simple rules for holonification. Using real-world data, we model the...
متن کاملTools for the Governance of Urban Design: The Tehran Experience
This research seeks to reflect the managerial, academic and professional experience of the authors in the design and implementation process of urban design projects, aiming to use the application of the “design governance” model, in order to describe the documents and activities of the Department of Urban Planning and Architecture of Tehran Municipality in the last decade. This paper consists ...
متن کاملImproving Software Quality in Safety-Critical Applications by Model-Driven Verification
We propose a new development scheme for quality-aware applications, quality-driven development (QDD), based on the Model-Driven Architecture (MDA) of OMG. We argue that software development in areas, such as real-time systems, should not only rely on code verification, but also on design verification, and show that a slightly extended MDA process offers the opportunity to integrate system devel...
متن کامل